Removed some doubly-deleted, commented out stuff from cl.texi
authorGlenn Morris <rgm@gnu.org>
Tue, 6 Nov 2012 02:30:16 +0000 (21:30 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 6 Nov 2012 02:30:16 +0000 (21:30 -0500)
commitd52e0f1ad400242f27d6b15952fa6cc428e06833
treedbacca83ca88fb7bf02496f410287a14d0248240
parentb75cd13b3c56953e1b611432e1dda170e430b2ef
Removed some doubly-deleted, commented out stuff from cl.texi
doc/misc/cl.texi